Matthew 2:1

Results: 405



#Item
21

A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute

Add to Reading List

Source URL: software.imdea.org

- Date: 2016-09-06 10:47:15
    22

    Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

    Add to Reading List

    Source URL: www.cs.utah.edu

    - Date: 2004-04-03 19:39:33
      23

      Scheme with Classes, Mixins, and Traits Matthew Flatt1 , Robert Bruce Findler2 , and Matthias Felleisen3 1 2 3

      Add to Reading List

      Source URL: www.cs.utah.edu

      - Date: 2006-08-25 13:33:58
        24

        Proving Linearizability Using Partial Orders Artem Khyzha1 , Mike Dodds2 , Alexey Gotsman1 , and Matthew Parkinson3 1 IMDEA Software Institute, Madrid, Spain 2

        Add to Reading List

        Source URL: software.imdea.org

        - Date: 2017-01-21 10:32:08
          25

          A Transportation Lp Distance for Signal Analysis Matthew Thorpe∗1 , Serim Park†1 , Soheil Kolouri‡3 , Gustavo K. Rohde§2 , and Dejan Slepˇcev¶1 1 Carnegie Mellon University, Pittsburgh, PA 15213, USA University

          Add to Reading List

          Source URL: arxiv.org

          - Date: 2016-09-28 20:49:25
            26

            The Epiphany The Epiphany January 6, 2013 • Matthew 2: 1-12

            Add to Reading List

            Source URL: download.elca.org

            - Date: 2013-09-05 10:58:59
              27

              Machine learning classifiers and fMRI: a tutorial overview Francisco Pereira1 , Tom Mitchell2 and Matthew Botvinick1 1 Princeton Neuroscience Institute/Psychology Department, Princeton University 2

              Add to Reading List

              Source URL: www.princeton.edu

              - Date: 2010-02-04 01:27:12
                28

                1P20 Auto-Modeller:高精度物性推算式の自動構築機能 ○田島澄恵 1、井上靖雄 1、Matthew Segall2 1 2

                Add to Reading List

                Source URL: www.sccj.net

                - Date: 2013-04-23 12:27:59
                  29

                  Developing a Geodynamics Simulator with PETSc Matthew G. Knepley1 , Richard F. Katz2 , and Barry Smith1 1 2

                  Add to Reading List

                  Source URL: foalab.earth.ox.ac.uk

                  - Date: 2004-12-02 10:05:15
                    30

                    PHYSICAL REVIEW B 90, Strongly bound excitons in gapless two-dimensional structures Yufeng Liang,1 Ryan Soklaski,1 Shouting Huang,1 Matthew W. Graham,2 Robin Havener,3 Jiwoong Park,4,5 and Li Yang1,* 1

                    Add to Reading List

                    Source URL: park.chem.cornell.edu

                    - Date: 2014-10-04 11:40:22
                      UPDATE